<html>
<head><meta charset="utf-8"><title>weekly meeting 2020-01-09 #54818 · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html">weekly meeting 2020-01-09 #54818</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="185218295"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185218295" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185218295">(Jan 09 2020 at 14:51)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="897">@T-compiler/meeting</span> ; the triage meeting will be starting in 10 minutes (!)</p>



<a name="185218332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185218332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185218332">(Jan 09 2020 at 14:51)</a>:</h4>
<p>I did pre-triage in a parallel channel <a href="#narrow/stream/131828-t-compiler/topic/pre-meeting.20triage.202020-01-09.20.2354818/near/185182506" title="#narrow/stream/131828-t-compiler/topic/pre-meeting.20triage.202020-01-09.20.2354818/near/185182506">last night</a></p>



<a name="185218464"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185218464" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185218464">(Jan 09 2020 at 14:52)</a>:</h4>
<p>WG checkins scheduled for today are from <span class="user-group-mention" data-user-group-id="1095">@T-compiler/WG-meta</span> and <span class="user-group-mention" data-user-group-id="1162">@WG-mir-opt</span></p>



<a name="185218612"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185218612" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185218612">(Jan 09 2020 at 14:54)</a>:</h4>
<p>normally I'd see if <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> can handle both check-ins, but I think they are on vacation</p>



<a name="185218662"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185218662" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185218662">(Jan 09 2020 at 14:54)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span> are you around? Just want to see if you might provide update from WG-meta in about an hour or so</p>



<a name="185218687"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185218687" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185218687">(Jan 09 2020 at 14:54)</a>:</h4>
<p>and likewise I'll ping <span class="user-mention" data-user-id="124288">@oli</span> for a similar update from WG-mir-opt</p>



<a name="185219158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185219158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185219158">(Jan 09 2020 at 14:59)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="116107">davidtwco</span> are you around? Just want to see if you might provide update from WG-meta in about an hour or so</p>
</blockquote>
<p>I can prepare an update, though I don't think much has happened</p>



<a name="185219175"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185219175" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185219175">(Jan 09 2020 at 14:59)</a>:</h4>
<p>it's maybe more about "next plans"</p>



<a name="185219352"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185219352" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185219352">(Jan 09 2020 at 15:01)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="897">@T-compiler/meeting</span>! Add a <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span> emoji to show you're here :)</p>



<a name="185219359"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185219359" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185219359">(Jan 09 2020 at 15:01)</a>:</h4>
<p>And we will have five minutes for ...</p>



<a name="185219366"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185219366" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185219366">(Jan 09 2020 at 15:01)</a>:</h4>
<h1>Announcements</h1>



<a name="185219474"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185219474" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185219474">(Jan 09 2020 at 15:02)</a>:</h4>
<p>last friday, niko and I had our first face-to-face since my move back to the USA</p>



<a name="185219490"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185219490" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185219490">(Jan 09 2020 at 15:03)</a>:</h4>
<p>I think its safe to say it was the first of many. :)</p>



<a name="185219533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185219533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185219533">(Jan 09 2020 at 15:03)</a>:</h4>
<p>and I also think its safe to say Niko is super-excited about plans</p>



<a name="185219552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185219552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185219552">(Jan 09 2020 at 15:03)</a>:</h4>
<p>(while I think I'm mostly just scared)</p>



<a name="185219645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185219645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185219645">(Jan 09 2020 at 15:04)</a>:</h4>
<div class="message_inline_image"><a href="https://media.giphy.com/media/xTiN0CNHgoRf1Ha7CM/giphy.gif" target="_blank" title="https://media.giphy.com/media/xTiN0CNHgoRf1Ha7CM/giphy.gif"><img src="https://media.giphy.com/media/xTiN0CNHgoRf1Ha7CM/giphy.gif"></a></div>



<a name="185219675"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185219675" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185219675">(Jan 09 2020 at 15:05)</a>:</h4>
<p>that tiny file size was kind of intense</p>



<a name="185219707"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185219707" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185219707">(Jan 09 2020 at 15:05)</a>:</h4>
<p>for today's meeting, I threw together this <a href="https://hackmd.io/iYO7ZJrTRg2E7OEPyeHKfA?both" target="_blank" title="https://hackmd.io/iYO7ZJrTRg2E7OEPyeHKfA?both">https://hackmd.io/iYO7ZJrTRg2E7OEPyeHKfA?both</a></p>



<a name="185219746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185219746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185219746">(Jan 09 2020 at 15:05)</a>:</h4>
<p>but I didn't have time to curate beyond the beta+stable nominations. We'll have to wing the I-nominated issues.</p>



<a name="185219747"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185219747" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185219747">(Jan 09 2020 at 15:05)</a>:</h4>
<p>I think a worthy announcement would be the cool PRs on handling const generics + lazy norm</p>



<a name="185219796"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185219796" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185219796">(Jan 09 2020 at 15:06)</a>:</h4>
<p>they're going to be a bit in landing, but we're making progress there</p>



<a name="185219854"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185219854" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185219854">(Jan 09 2020 at 15:06)</a>:</h4>
<p>e.g., <a href="https://github.com/rust-lang/rust/pull/67890" target="_blank" title="https://github.com/rust-lang/rust/pull/67890">https://github.com/rust-lang/rust/pull/67890</a>, credit to <span class="user-mention" data-user-id="224180">@Ben Lewis</span></p>



<a name="185220090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220090">(Jan 09 2020 at 15:09)</a>:</h4>
<p>okay lets get started</p>



<a name="185220210"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220210" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220210">(Jan 09 2020 at 15:10)</a>:</h4>
<p>as usual, the running agenda is linked at <a href="https://github.com/rust-lang/rust/issues/54818" target="_blank" title="https://github.com/rust-lang/rust/issues/54818">#54818</a> ; I already mentioned the <a href="https://hackmd.io/iYO7ZJrTRg2E7OEPyeHKfA?both" target="_blank" title="https://hackmd.io/iYO7ZJrTRg2E7OEPyeHKfA?both">hackmd link</a></p>



<a name="185220277"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220277" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220277">(Jan 09 2020 at 15:11)</a>:</h4>
<p>we have four <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=label%3Abeta-nominated+label%3AT-compiler++-label%3Abeta-accepted" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=label%3Abeta-nominated+label%3AT-compiler++-label%3Abeta-accepted">beta nominations</a></p>



<a name="185220285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220285">(Jan 09 2020 at 15:11)</a>:</h4>
<p>beta-nom 1/4: "Do not ICE on lifetime error involving closures" <a href="https://github.com/rust-lang/rust/issues/67687" target="_blank" title="https://github.com/rust-lang/rust/issues/67687">#67687</a></p>



<a name="185220407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220407">(Jan 09 2020 at 15:12)</a>:</h4>
<p>Seems fine.</p>



<a name="185220414"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220414" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220414">(Jan 09 2020 at 15:12)</a>:</h4>
<p>beta-accepted</p>



<a name="185220433"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220433" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220433">(Jan 09 2020 at 15:13)</a>:</h4>
<p>(We discussed a bit last week, for those experiencing deja vu)</p>



<a name="185220434"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220434" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220434">(Jan 09 2020 at 15:13)</a>:</h4>
<p>We discussed this last week I think.. it hadn't landed at that time?</p>



<a name="185220436"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220436" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220436">(Jan 09 2020 at 15:13)</a>:</h4>
<p>Something like that</p>



<a name="185220468"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220468" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220468">(Jan 09 2020 at 15:13)</a>:</h4>
<p>beta-nom 2/4: "Treat extern statics just like statics in the "const pointer to static" representation" <a href="https://github.com/rust-lang/rust/issues/67630" target="_blank" title="https://github.com/rust-lang/rust/issues/67630">#67630</a></p>



<a name="185220475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220475">(Jan 09 2020 at 15:13)</a>:</h4>
<p>this may need to wait on T-lang ?</p>



<a name="185220559"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220559" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220559">(Jan 09 2020 at 15:14)</a>:</h4>
<p>but we can at least let people voice opinions here as well, if any</p>



<a name="185220628"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220628" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220628">(Jan 09 2020 at 15:15)</a>:</h4>
<p>(The lang Q, as I understand it, is what the pre-reqs for initialization are; specifically, if the extern statics must be initialized before <strong>any</strong> rust code is run, or if its just before any rust code does an access of the extern static in question)</p>



<a name="185220629"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220629" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220629">(Jan 09 2020 at 15:15)</a>:</h4>
<p>I think there's a need to write a reference chapter on this</p>



<a name="185220633"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220633" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220633">(Jan 09 2020 at 15:15)</a>:</h4>
<p>but I <em>think</em> this is restoring the older behavior</p>



<a name="185220683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220683">(Jan 09 2020 at 15:16)</a>:</h4>
<blockquote>
<p>I think there's a need to write a reference chapter on this</p>
</blockquote>
<p>but that need not block beta-backport, right?</p>



<a name="185220698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220698">(Jan 09 2020 at 15:16)</a>:</h4>
<p>it sounds like <span class="user-mention" data-user-id="124288">@oli</span> is working on a reference chapter in any case (<a href="https://github.com/rust-lang/rust/pull/67630#issuecomment-572078808" target="_blank" title="https://github.com/rust-lang/rust/pull/67630#issuecomment-572078808">link</a>)</p>



<a name="185220704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220704">(Jan 09 2020 at 15:16)</a>:</h4>
<blockquote>
<p>but that need not block beta-backport, right?</p>
</blockquote>
<p>correct</p>



<a name="185220770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220770">(Jan 09 2020 at 15:17)</a>:</h4>
<p>okay. well we can either approve beta backport now, or revisit next week since it only landed in nightly last night</p>



<a name="185220779"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220779" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220779">(Jan 09 2020 at 15:17)</a>:</h4>
<p>what do people think regarding those two options?</p>



<a name="185220831"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220831" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220831">(Jan 09 2020 at 15:18)</a>:</h4>
<p>I would approve</p>



<a name="185220884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220884">(Jan 09 2020 at 15:18)</a>:</h4>
<p>Though I don't have much justification :)</p>



<a name="185220917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220917">(Jan 09 2020 at 15:19)</a>:</h4>
<p>for reference, the regression itself was injected by PR <a href="https://github.com/rust-lang/rust/issues/66587" target="_blank" title="https://github.com/rust-lang/rust/issues/66587">#66587</a></p>



<a name="185220935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220935">(Jan 09 2020 at 15:19)</a>:</h4>
<p>I approve of beta backport</p>



<a name="185220943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220943">(Jan 09 2020 at 15:19)</a>:</h4>
<p>(just realized I had forgotten to click before)</p>



<a name="185220985"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185220985" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185220985">(Jan 09 2020 at 15:19)</a>:</h4>
<p>okay. beta-approved.</p>



<a name="185221089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185221089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185221089">(Jan 09 2020 at 15:20)</a>:</h4>
<p>beta-nom 3/4: " Use the correct type for static qualifs" <a href="https://github.com/rust-lang/rust/issues/67621" target="_blank" title="https://github.com/rust-lang/rust/issues/67621">#67621</a>  (another deja vu case I believe)</p>



<a name="185221277"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185221277" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185221277">(Jan 09 2020 at 15:22)</a>:</h4>
<p>looks fine to me.</p>



<a name="185221357"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185221357" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185221357">(Jan 09 2020 at 15:23)</a>:</h4>
<p>beta-accepted</p>



<a name="185221382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185221382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185221382">(Jan 09 2020 at 15:24)</a>:</h4>
<p>beta-nom 4/4: "Don't suppress move errors for union fields" <a href="https://github.com/rust-lang/rust/issues/67314" target="_blank" title="https://github.com/rust-lang/rust/issues/67314">#67314</a></p>



<a name="185221577"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185221577" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185221577">(Jan 09 2020 at 15:25)</a>:</h4>
<p>looks fine, beta-accepted</p>



<a name="185221646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185221646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185221646">(Jan 09 2020 at 15:26)</a>:</h4>
<p>next up, <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=+label%3Astable-nominated+label%3AT-compiler" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=+label%3Astable-nominated+label%3AT-compiler">stable nominations</a></p>



<a name="185221670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185221670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185221670">(Jan 09 2020 at 15:26)</a>:</h4>
<p>just one stable-nom: "Do not ICE on lifetime error involving closures" <a href="https://github.com/rust-lang/rust/issues/67687" target="_blank" title="https://github.com/rust-lang/rust/issues/67687">#67687</a></p>



<a name="185221750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185221750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185221750">(Jan 09 2020 at 15:27)</a>:</h4>
<p>there was perhaps some light debate last week about whether this might be too risky for a stable backport</p>



<a name="185221807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185221807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185221807">(Jan 09 2020 at 15:27)</a>:</h4>
<p>but that "debate" may have solely come from me talking to myself</p>



<a name="185221896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185221896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185221896">(Jan 09 2020 at 15:28)</a>:</h4>
<p>(I think the people present convinced me that the methods being called here should not e.g. inject new ICEs...)</p>



<a name="185221927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185221927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185221927">(Jan 09 2020 at 15:29)</a>:</h4>
<p>I think it would only potentially inject an ICE in a case where it already ICEs?</p>



<a name="185221945"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185221945" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185221945">(Jan 09 2020 at 15:29)</a>:</h4>
<p>though I have to double check that</p>



<a name="185221968"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185221968" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185221968">(Jan 09 2020 at 15:29)</a>:</h4>
<p>yeah I think that's what I may have meant above. or something.</p>



<a name="185221999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185221999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185221999">(Jan 09 2020 at 15:29)</a>:</h4>
<p>i.e., I presume the ICE is because <code>name</code> unwraps an <code>Option</code>, and the new code only runs if the opton was <code>None</code></p>



<a name="185222047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222047">(Jan 09 2020 at 15:30)</a>:</h4>
<p>so it seems like it's not making anything any <em>worse</em></p>



<a name="185222058"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222058" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222058">(Jan 09 2020 at 15:30)</a>:</h4>
<p>sure. okay lets go for it.</p>



<a name="185222073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222073">(Jan 09 2020 at 15:30)</a>:</h4>
<p>stable-accepted.</p>



<a name="185222163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222163">(Jan 09 2020 at 15:31)</a>:</h4>
<p>okay, lets look over the stable-to-beta regressions</p>



<a name="185222171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222171">(Jan 09 2020 at 15:31)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/labels/regression-from-stable-to-beta" target="_blank" title="https://github.com/rust-lang/rust/labels/regression-from-stable-to-beta">https://github.com/rust-lang/rust/labels/regression-from-stable-to-beta</a></p>



<a name="185222199"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222199" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222199">(Jan 09 2020 at 15:31)</a>:</h4>
<p>beta-regr: "ICE: index out of bounds: the len is 0 but the index is 0" <a href="https://github.com/rust-lang/rust/issues/67945" target="_blank" title="https://github.com/rust-lang/rust/issues/67945">#67945</a></p>



<a name="185222286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222286">(Jan 09 2020 at 15:32)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span> you were looking into this; do we know what PR injected this ?</p>



<a name="185222287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222287">(Jan 09 2020 at 15:32)</a>:</h4>
<p>hmm</p>



<a name="185222370"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222370" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222370">(Jan 09 2020 at 15:33)</a>:</h4>
<p>I remember there were some recent PRs tinkering with this setup</p>



<a name="185222371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222371">(Jan 09 2020 at 15:33)</a>:</h4>
<p>in particular</p>



<a name="185222396"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222396" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222396">(Jan 09 2020 at 15:33)</a>:</h4>
<p>i'm not sure if all of the reductions provided by <span class="user-mention" data-user-id="126931">@centril</span> are equal examples of the regression here.</p>



<a name="185222494"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222494" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222494">(Jan 09 2020 at 15:34)</a>:</h4>
<p>oh and the original code (in the description)... does not get accepted anyway on stable ... ?</p>



<a name="185222511"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222511" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222511">(Jan 09 2020 at 15:34)</a>:</h4>
<p>that to me seems like an important detail in terms of prioritization</p>



<a name="185222552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222552">(Jan 09 2020 at 15:34)</a>:</h4>
<p>I Was wondering about that</p>



<a name="185222583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222583">(Jan 09 2020 at 15:35)</a>:</h4>
<p>this could be tricky to fix without "fixing things all the way"</p>



<a name="185222614"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222614" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222614">(Jan 09 2020 at 15:35)</a>:</h4>
<p>(but I'm not sure, maybe we can induce a more graceful fail)</p>



<a name="185222625"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222625" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222625">(Jan 09 2020 at 15:35)</a>:</h4>
<p>What do people think: Despite this being a regression, is it indeed P-high ? Or should we reclassify as P-medium ?</p>



<a name="185222664"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222664" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222664">(Jan 09 2020 at 15:35)</a>:</h4>
<blockquote>
<p>oh and the original code (in the description)... does not get accepted anyway on stable ... ?</p>
</blockquote>
<p>I'm not sure if some of the reduced ones would?</p>



<a name="185222674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222674">(Jan 09 2020 at 15:36)</a>:</h4>
<p>a more graceful fall would be nice. But I'm also sort of dreading going through the set of P-high issues (a task I keep putting off...)</p>



<a name="185222747"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222747" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222747">(Jan 09 2020 at 15:36)</a>:</h4>
<p>I'm going to guess they would not</p>



<a name="185222756"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222756" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222756">(Jan 09 2020 at 15:36)</a>:</h4>
<blockquote>
<blockquote>
<p>oh and the original code (in the description)... does not get accepted anyway on stable ... ?</p>
</blockquote>
<p>I'm not sure if some of the reduced ones would?</p>
</blockquote>
<p>As in, you think they might be accepted? Or you're asserting they wouldn't either?</p>



<a name="185222839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222839">(Jan 09 2020 at 15:37)</a>:</h4>
<p>they're all rejected for various reasons</p>



<a name="185222844"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222844" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222844">(Jan 09 2020 at 15:37)</a>:</h4>
<p>I  have yet to make an example that gets accepted on stable; they either error or ICE in a later phase</p>



<a name="185222866"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222866" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222866">(Jan 09 2020 at 15:37)</a>:</h4>
<p>this code is definitely "wack" on stable also</p>



<a name="185222871"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222871" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222871">(Jan 09 2020 at 15:37)</a>:</h4>
<p>I'm personally tempted to reclassify at P-medium. Anyone want to object now?</p>



<a name="185222876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222876">(Jan 09 2020 at 15:37)</a>:</h4>
<p>specifically, trying to work with type parameters inside of constants</p>



<a name="185222892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222892">(Jan 09 2020 at 15:37)</a>:</h4>
<p>I feel ok about that</p>



<a name="185222896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222896">(Jan 09 2020 at 15:37)</a>:</h4>
<p>how far are we away from a proper fix?</p>



<a name="185222957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222957">(Jan 09 2020 at 15:38)</a>:</h4>
<p>i.e. is this something that will be solved by something that is already being worked on?</p>



<a name="185222962"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222962" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222962">(Jan 09 2020 at 15:38)</a>:</h4>
<p>Not <em>especially</em> close, but we're working on it</p>



<a name="185222976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222976">(Jan 09 2020 at 15:38)</a>:</h4>
<p>The main reason I'm ok with it is that the code doesn't work <em>correctly</em> on stable in any sense</p>



<a name="185222986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222986">(Jan 09 2020 at 15:38)</a>:</h4>
<p>it may not <em>ICE</em> but it gives non-sense errors</p>



<a name="185222997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185222997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185222997">(Jan 09 2020 at 15:38)</a>:</h4>
<p>and if it doesn't, then I get ICEs :)</p>



<a name="185223013"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223013" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223013">(Jan 09 2020 at 15:38)</a>:</h4>
<div class="codehilite"><pre><span></span><span class="k">use</span><span class="w"> </span><span class="n">std</span>::<span class="n">marker</span>::<span class="n">PhantomData</span><span class="p">;</span><span class="w"></span>

<span class="k">use</span><span class="w"> </span><span class="n">std</span>::<span class="n">mem</span>::<span class="p">{</span><span class="bp">self</span><span class="p">,</span><span class="w"> </span><span class="n">MaybeUninit</span><span class="p">};</span><span class="w"></span>

<span class="k">struct</span> <span class="nc">Bug</span><span class="o">&lt;</span><span class="n">S</span><span class="o">&gt;</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="n">A</span>: <span class="p">[();</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">        </span><span class="kd">let</span><span class="w"> </span><span class="n">x</span>: <span class="nb">Option</span><span class="o">&lt;</span><span class="nb">Box</span><span class="o">&lt;</span><span class="n">S</span><span class="o">&gt;&gt;</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="nb">None</span><span class="p">;</span><span class="w"></span>
<span class="w">        </span><span class="mi">0</span><span class="w"></span>
<span class="w">    </span><span class="p">}],</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
</pre></div>


<p>e.g., this ICEs on stable</p>



<a name="185223040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223040">(Jan 09 2020 at 15:39)</a>:</h4>
<p>whereas <code>Option&lt;S&gt;</code> gives an error that <code>S: Sized</code> is not known (but it is)</p>



<a name="185223041"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223041" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223041">(Jan 09 2020 at 15:39)</a>:</h4>
<p>okay lets keep moving</p>



<a name="185223064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223064">(Jan 09 2020 at 15:39)</a>:</h4>
<p>ok</p>



<a name="185223071"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223071" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223071">(Jan 09 2020 at 15:39)</a>:</h4>
<p>beta regression: "not Send due to await retainment" <a href="https://github.com/rust-lang/rust/issues/67611" target="_blank" title="https://github.com/rust-lang/rust/issues/67611">#67611</a></p>



<a name="185223099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223099">(Jan 09 2020 at 15:39)</a>:</h4>
<p>oh dear there's a wall of text at the end from <span class="user-mention" data-user-id="116118">@Matthew Jasper</span></p>



<a name="185223112"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223112" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223112">(Jan 09 2020 at 15:40)</a>:</h4>
<p>Sorry?</p>



<a name="185223178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223178">(Jan 09 2020 at 15:40)</a>:</h4>
<p>no I just meant that I cannot summarize status readily</p>



<a name="185223202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223202">(Jan 09 2020 at 15:40)</a>:</h4>
<p>I didn't mean to offend, sorry</p>



<a name="185223250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223250">(Jan 09 2020 at 15:40)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> do you have thoughts on where we should go with <a href="https://github.com/rust-lang/rust/issues/67611" target="_blank" title="https://github.com/rust-lang/rust/issues/67611">#67611</a>, and how we should prioritize resolving it?</p>



<a name="185223259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223259">(Jan 09 2020 at 15:41)</a>:</h4>
<p>seems like the best sort of "wall of text" there can be :)</p>



<a name="185223317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223317">(Jan 09 2020 at 15:41)</a>:</h4>
<p>I'm specifically interested <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> in your idaas about leveraging MIR <code>internal</code></p>



<a name="185223318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223318">(Jan 09 2020 at 15:41)</a>:</h4>
<p>ah I've been meaning to catch up on this</p>



<a name="185223339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223339">(Jan 09 2020 at 15:41)</a>:</h4>
<p>but its possible we should move this to a parallel topic for discussion after this meeting .. ?</p>



<a name="185223392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223392">(Jan 09 2020 at 15:42)</a>:</h4>
<p>The important thing to note is that progress has been made and hopefully will continue to be made ... ?</p>



<a name="185223497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223497">(Jan 09 2020 at 15:43)</a>:</h4>
<p>If we think auto-traits are perma-unstable, then I think <code>internal</code> is fine. Otherwise it probably needs some discussion on what guarantees that they make for auto traits.</p>



<a name="185223503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223503">(Jan 09 2020 at 15:43)</a>:</h4>
<p>(and also, I can independently add the <a href="https://github.com/rust-lang/rust/issues/67611#issuecomment-571332828" target="_blank" title="https://github.com/rust-lang/rust/issues/67611#issuecomment-571332828">patch I linked</a> in the issue  to at least fix the crate that broke, so that we don't risk that particular narrow downstream effect...)</p>



<a name="185223546"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223546" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223546">(Jan 09 2020 at 15:43)</a>:</h4>
<blockquote>
<p>If we think auto-traits are perma-unstable, then I think <code>internal</code> is fine. Otherwise it probably needs some discussion on what guarantees that they make for auto traits.</p>
</blockquote>
<p>wait what:)</p>



<a name="185223619"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223619" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223619">(Jan 09 2020 at 15:44)</a>:</h4>
<p>(it's ok, let's not dig in too much here)</p>



<a name="185223627"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223627" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223627">(Jan 09 2020 at 15:44)</a>:</h4>
<p>but I'd like to follow up</p>



<a name="185223652"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223652" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223652">(Jan 09 2020 at 15:44)</a>:</h4>
<p>might be good to also talk over again the ideas how to get a more precise handling of auto traits in generators (warning: hard)</p>



<a name="185223667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223667">(Jan 09 2020 at 15:44)</a>:</h4>
<p>Lets make a parallel topic, hold on</p>



<a name="185223724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223724">(Jan 09 2020 at 15:45)</a>:</h4>
<p>fork: <a href="#narrow/stream/131828-t-compiler/topic/solutions.20to.20not.20Send.20due.20to.20await.20retainment.20.20.2367611/near/185223712" title="#narrow/stream/131828-t-compiler/topic/solutions.20to.20not.20Send.20due.20to.20await.20retainment.20.20.2367611/near/185223712">https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/solutions.20to.20not.20Send.20due.20to.20await.20retainment.20.20.2367611/near/185223712</a></p>



<a name="185223784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223784">(Jan 09 2020 at 15:45)</a>:</h4>
<p>okay, lets keep moving then. <a href="https://github.com/rust-lang/rust/issues/67611" target="_blank" title="https://github.com/rust-lang/rust/issues/67611">#67611</a> can stay P-high</p>



<a name="185223854"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223854" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223854">(Jan 09 2020 at 15:46)</a>:</h4>
<p>beta-regression "const_if_match ICE" <a href="https://github.com/rust-lang/rust/issues/67405" target="_blank" title="https://github.com/rust-lang/rust/issues/67405">#67405</a> is P-medium so I will skip it</p>



<a name="185223898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223898">(Jan 09 2020 at 15:46)</a>:</h4>
<p>beta-regression: "Usage of errorneous constant can be omitted on nightly and beta" <a href="https://github.com/rust-lang/rust/issues/67083" target="_blank" title="https://github.com/rust-lang/rust/issues/67083">#67083</a></p>



<a name="185223936"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223936" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223936">(Jan 09 2020 at 15:46)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span> is there movement here?</p>



<a name="185223999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185223999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185223999">(Jan 09 2020 at 15:47)</a>:</h4>
<p>ah this is fixed by <a href="https://github.com/rust-lang/rust/issues/67134" target="_blank" title="https://github.com/rust-lang/rust/issues/67134">#67134</a></p>



<a name="185224012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224012">(Jan 09 2020 at 15:47)</a>:</h4>
<p>which we just approved, right? Sorry for noise.</p>



<a name="185224018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224018">(Jan 09 2020 at 15:47)</a>:</h4>
<p>I think we papered over them</p>



<a name="185224023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224023">(Jan 09 2020 at 15:47)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="116107">davidtwco</span> you were looking into this; do we know what PR injected this ?</p>
</blockquote>
<p>sorry, just arrived, this was regarding  <a href="https://github.com/rust-lang/rust/issues/67945" target="_blank" title="https://github.com/rust-lang/rust/issues/67945">#67945</a>, I didn't bisect or anything like that.</p>



<a name="185224126"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224126" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224126">(Jan 09 2020 at 15:48)</a>:</h4>
<p>last beta-regression: "Regression in helpful compiler error message when working with lifetimes" <a href="https://github.com/rust-lang/rust/issues/66406" target="_blank" title="https://github.com/rust-lang/rust/issues/66406">#66406</a></p>



<a name="185224159"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224159" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224159">(Jan 09 2020 at 15:48)</a>:</h4>
<p>oh that's P-medium too, so we can skip</p>



<a name="185224209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224209">(Jan 09 2020 at 15:49)</a>:</h4>
<p>(I think its probably good to revisit P-medium beta-regressions, to keep ourselves honest. But if others think they should be omitted entirely from the list each week, say so and we can discuss.)</p>



<a name="185224251"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224251" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224251">(Jan 09 2020 at 15:49)</a>:</h4>
<p>so, we have 11 minutes left in the meeting</p>



<a name="185224280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224280">(Jan 09 2020 at 15:49)</a>:</h4>
<p>I don't think we can do <em>both</em> a walk through the nightly regressions and also visit I-nominated issues</p>



<a name="185224348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224348">(Jan 09 2020 at 15:50)</a>:</h4>
<p>I'm somewhat tempted to skip the nightly regressions for this week and go straight to nominations. Does anyone object?</p>



<a name="185224438"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224438" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224438">(Jan 09 2020 at 15:51)</a>:</h4>
<p>here are all the <a href="https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3AI-nominated+label%3AT-compiler" target="_blank" title="https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3AI-nominated+label%3AT-compiler">nominated issues</a></p>



<a name="185224457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224457">(Jan 09 2020 at 15:51)</a>:</h4>
<p>(seems ok)</p>



<a name="185224485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224485">(Jan 09 2020 at 15:51)</a>:</h4>
<p>nom issue: "SIGSEGV in LLVM when linking to <code>extern "Rust" { fn main(); }</code>" <a href="https://github.com/rust-lang/rust/issues/67946" target="_blank" title="https://github.com/rust-lang/rust/issues/67946">#67946</a></p>



<a name="185224511"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224511" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224511">(Jan 09 2020 at 15:52)</a>:</h4>
<p>I left this nominated because I wanted it to get attention. It seems weird. :)</p>



<a name="185224574"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224574" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224574">(Jan 09 2020 at 15:52)</a>:</h4>
<p>now that i've done that, I'm removing the nomination.</p>



<a name="185224595"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224595" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224595">(Jan 09 2020 at 15:52)</a>:</h4>
<p>nom issue: "Change opt-level from 2 back to 3" <a href="https://github.com/rust-lang/rust/issues/67878" target="_blank" title="https://github.com/rust-lang/rust/issues/67878">#67878</a></p>



<a name="185224726"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224726" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mati865 <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224726">(Jan 09 2020 at 15:53)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/67878" target="_blank" title="https://github.com/rust-lang/rust/issues/67878">#67878</a> is waiting on the crater.</p>



<a name="185224733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224733">(Jan 09 2020 at 15:53)</a>:</h4>
<p>so this is interesting. The opt-levels here, can someone clarify, does this affect both <code>rustc</code> and <code>stdlib</code> ... and LLVM build ?</p>



<a name="185224750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224750">(Jan 09 2020 at 15:53)</a>:</h4>
<p>I don't recall</p>



<a name="185224776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224776">(Jan 09 2020 at 15:54)</a>:</h4>
<p>Mostly not llvm though</p>



<a name="185224808"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224808" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224808">(Jan 09 2020 at 15:54)</a>:</h4>
<p><span class="user-mention" data-user-id="119581">@mati865</span> ah you perhaps figure discussion there can wait until crater results are done?</p>



<a name="185224813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224813">(Jan 09 2020 at 15:54)</a>:</h4>
<p>We, probably</p>



<a name="185224837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224837">(Jan 09 2020 at 15:54)</a>:</h4>
<p>Yeah we can wait</p>



<a name="185224841"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224841" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224841">(Jan 09 2020 at 15:54)</a>:</h4>
<blockquote>
<p>Mostly not llvm though</p>
</blockquote>
<p>I mentioned LLVM because of <a href="https://github.com/rust-lang/rust/pull/67878/files#diff-80398c5faae3c069e4e6aa2ed11b28c0L33" target="_blank" title="https://github.com/rust-lang/rust/pull/67878/files#diff-80398c5faae3c069e4e6aa2ed11b28c0L33">this comment in source</a></p>



<a name="185224850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224850">(Jan 09 2020 at 15:54)</a>:</h4>
<p>okay lets wait for crater</p>



<a name="185224898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185224898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185224898">(Jan 09 2020 at 15:55)</a>:</h4>
<p>nom issue: "Fix some of the rustfmt fallout in Miri" <a href="https://github.com/rust-lang/rust/issues/67833" target="_blank" title="https://github.com/rust-lang/rust/issues/67833">#67833</a></p>



<a name="185225014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225014">(Jan 09 2020 at 15:56)</a>:</h4>
<p>so the issue here is that <span class="user-mention" data-user-id="120791">@RalfJ</span> did not like what rustfmt did to the miri source, and has added <code>#[rustfmt::skip]</code> attributes to the relevant match blocks  to sidestep it</p>



<a name="185225148"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225148" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225148">(Jan 09 2020 at 15:57)</a>:</h4>
<p>I think I like <span class="user-mention" data-user-id="116122">@simulacrum</span> 's <a href="https://github.com/rust-lang/rust/pull/67833#issuecomment-572019494" target="_blank" title="https://github.com/rust-lang/rust/pull/67833#issuecomment-572019494">suggestion</a>: we can land the skips, but they should have an associated rustfmt issue so that the developers of that tool can try to address the problem at hand more directly. (and potentially expose a config setting to let us tweak its handling here.)</p>



<a name="185225184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225184">(Jan 09 2020 at 15:57)</a>:</h4>
<p>I'm ok with that, but I agree with the general principle that mostly we should just live with rustfmt :P</p>



<a name="185225259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225259">(Jan 09 2020 at 15:58)</a>:</h4>
<p>but I think that this adds a "correct" amount of friction</p>



<a name="185225270"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225270" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225270">(Jan 09 2020 at 15:58)</a>:</h4>
<p>well hopefully the pain of filing an issue will be enough to push people away from that avenue?</p>



<a name="185225275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225275">(Jan 09 2020 at 15:58)</a>:</h4>
<p>i.e., if you care strongly enough to open an issue on rustfmt repo...</p>



<a name="185225281"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225281" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225281">(Jan 09 2020 at 15:58)</a>:</h4>
<p>right, exactly.</p>



<a name="185225293"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225293" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225293">(Jan 09 2020 at 15:58)</a>:</h4>
<p>but also, if they decide in the end not to change it..?</p>



<a name="185225305"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225305" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225305">(Jan 09 2020 at 15:58)</a>:</h4>
<p>Well so be it</p>



<a name="185225323"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225323" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225323">(Jan 09 2020 at 15:58)</a>:</h4>
<p>I tend to think in that case we remove the rustfmt skip eventually, but let's see</p>



<a name="185225351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225351">(Jan 09 2020 at 15:59)</a>:</h4>
<p>Maybe that's a debate to be had on a case by case basis...</p>



<a name="185225446"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225446" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225446">(Jan 09 2020 at 15:59)</a>:</h4>
<p>or at least, the debate about <strong>how</strong> to go about removing the rustfmt::skip can be had on each issue that's filed</p>



<a name="185225522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225522">(Jan 09 2020 at 16:00)</a>:</h4>
<p>(that will give people like me a chance to convince everyone else that <code>let val; ... val = expr;</code> aint so bad...)</p>



<a name="185225545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225545">(Jan 09 2020 at 16:00)</a>:</h4>
<p>oh no out of time</p>



<a name="185225549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225549">(Jan 09 2020 at 16:00)</a>:</h4>
<p>um</p>



<a name="185225551"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225551" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225551">(Jan 09 2020 at 16:00)</a>:</h4>
<p>okay</p>



<a name="185225568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225568">(Jan 09 2020 at 16:00)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1095">@T-compiler/WG-meta</span> anything to report?</p>



<a name="185225581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225581">(Jan 09 2020 at 16:00)</a>:</h4>
<p>No -- we've not done much :)</p>



<a name="185225595"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225595" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225595">(Jan 09 2020 at 16:01)</a>:</h4>
<p>but I think we plan to start working on setting up a bisection ICE-breaker</p>



<a name="185225596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225596">(Jan 09 2020 at 16:01)</a>:</h4>
<p>done!</p>



<a name="185225621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225621">(Jan 09 2020 at 16:01)</a>:</h4>
<p>and/or the major change process</p>



<a name="185225624"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225624" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225624">(Jan 09 2020 at 16:01)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1162">@WG-mir-opt</span> namely <span class="user-mention" data-user-id="124288">@oli</span> , anything to report?</p>



<a name="185225647"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225647" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225647">(Jan 09 2020 at 16:01)</a>:</h4>
<p>"a lot has been happening"</p>



<a name="185225668"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225668" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225668">(Jan 09 2020 at 16:01)</a>:</h4>
<p>oh, I did, but I didn't save and lost it</p>



<a name="185225679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225679">(Jan 09 2020 at 16:01)</a>:</h4>
<blockquote>
<p>and/or the major change process</p>
</blockquote>
<p>(ah, so then there's stuff to report, heh.)</p>



<a name="185225692"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225692" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225692">(Jan 09 2020 at 16:01)</a>:</h4>
<p>we had some discussions about what MIR 2.0 would look like... <a href="https://hackmd.io/aQ8y79EfS72VCUoEmzLQpg" target="_blank" title="https://hackmd.io/aQ8y79EfS72VCUoEmzLQpg">some notes and thoughts here</a></p>



<a name="185225780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225780">(Jan 09 2020 at 16:02)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/67000" target="_blank" title="https://github.com/rust-lang/rust/issues/67000">#67000</a> will finally make <code>mir::Place</code> not be able to point to statics or promoteds anymore but just locals (pending a 60% regression on the const eval stress tests)</p>



<a name="185225852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225852">(Jan 09 2020 at 16:03)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/67662" target="_blank" title="https://github.com/rust-lang/rust/issues/67662">#67662</a> and <a href="https://github.com/rust-lang/rust/issues/67333" target="_blank" title="https://github.com/rust-lang/rust/issues/67333">#67333</a> get us closer to bootstrapping rustc with mir inlining</p>



<a name="185225896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185225896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185225896">(Jan 09 2020 at 16:04)</a>:</h4>
<p>const prop can now propagate into the rhs of assignments to user defined variables: <a href="https://github.com/rust-lang/rust/issues/67130" target="_blank" title="https://github.com/rust-lang/rust/issues/67130">#67130</a></p>



<a name="185226005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185226005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185226005">(Jan 09 2020 at 16:04)</a>:</h4>
<p>and a bunch of peephole optimizations</p>



<a name="185226020"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185226020" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185226020">(Jan 09 2020 at 16:05)</a>:</h4>
<p>I lost track of all of them</p>



<a name="185226042"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185226042" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185226042">(Jan 09 2020 at 16:05)</a>:</h4>
<p>okay sounds great</p>



<a name="185226060"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185226060" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185226060">(Jan 09 2020 at 16:05)</a>:</h4>
<p>oh and we had a mir 2.0 meeting, if anyone wants to read up: <a href="#narrow/stream/189540-t-compiler.2Fwg-mir-opt/topic/2020.2E01.2E07.20MIR.202.2E0.20meeting/near/185014270" title="#narrow/stream/189540-t-compiler.2Fwg-mir-opt/topic/2020.2E01.2E07.20MIR.202.2E0.20meeting/near/185014270">https://rust-lang.zulipchat.com/#narrow/stream/189540-t-compiler.2Fwg-mir-opt/topic/2020.2E01.2E07.20MIR.202.2E0.20meeting/near/185014270</a></p>



<a name="185226071"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185226071" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185226071">(Jan 09 2020 at 16:05)</a>:</h4>
<p>/me has to run</p>



<a name="185226087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185226087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185226087">(Jan 09 2020 at 16:05)</a>:</h4>
<p>Bye everyone in <span class="user-group-mention" data-user-group-id="897">@T-compiler/meeting</span> ; thanks for attending!!!</p>



<a name="185227132"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-09%20%2354818/near/185227132" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-09.20.2354818.html#185227132">(Jan 09 2020 at 16:15)</a>:</h4>
<blockquote>
<p>beta-regr: "ICE: index out of bounds: the len is 0 but the index is 0" <a href="https://github.com/rust-lang/rust/issues/67945" target="_blank" title="https://github.com/rust-lang/rust/issues/67945">#67945</a></p>
</blockquote>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> this started ICE-ing in <a href="https://github.com/rust-lang/rust/issues/66141" target="_blank" title="https://github.com/rust-lang/rust/issues/66141">#66141</a> but it's a rollup</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>